Buy Used and New Andrei Voronkov Books

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)

by N/A

ISBN 13: 9783642114854

Format: Paperback (425 pages)
Publisher: Springer
Published: 08 Feb 2010

Save for later

Handbook of Automated Reasoning: Vol 1

by

ISBN 13: 9780444829498

Format: Hardcover (996 pages)
Publisher: North Holland
Published: 21 Jun 2001

Save for later

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540412854

Format: Paperback (487 pages)
Publisher: Springer
Published: 23 Oct 2000

Save for later

Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September ... Computer Science and General Issues)

by

ISBN 13: 9783540745099

Format: Paperback (420 pages)
Publisher: Springer
Published: 15 Aug 2007

Save for later

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540705888

Format: Paperback (457 pages)
Publisher: Springer
Published: 04 Jul 2008

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540755586

Format: Paperback (562 pages)
Publisher: Springer
Published: 08 Oct 2007

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540894384

Format: Paperback (728 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, ... Computer Science and General Issues)

by

ISBN 13: 9783642287169

Format: Paperback (446 pages)
Publisher: Springer
Published: 24 Feb 2012

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings: 3835 (Lecture Notes in Computer Science)

by Geoff Sutcliffe,Andrei Voronkov

ISBN 13: 9783540305538

Format: Paperback (760 pages)
Publisher: Springer
Published: 24 Nov 2005

Save for later

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, ... 7162 (Lecture Notes in Computer Science)

by Edmund Clarke,Irina Virbitskaite,Andrei Voronkov

ISBN 13: 9783642297083

Format: Paperback (428 pages)
Publisher: Springer
Published: 30 May 2012

Save for later

Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science)

by Andrei Voronkov,Christoph Weidenbach

ISBN 13: 9783642376504

Format: Paperback (460 pages)
Publisher: Springer
Published: 03 Apr 2013

Save for later

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised ... 8974 (Lecture Notes in Computer Science)

by Andrei Voronkov,Irina Virbitskaite

ISBN 13: 9783662468227

Format: Paperback (432 pages)
Publisher: Springer
Published: 30 Apr 2015

Save for later